Section: Dissemination

Promoting Scientific Activities

Scientific events selection

Conference program committee membership

Horatiu Cirstea:

• PC member of RuleML 2014 (International RuleML Symposium on Rule Interchange and Applications).

• Steering committee of RULE.

Sergueï Lenglet:

• PC member of WPTE'14 (Workshop on Rewriting Techniques for Program Transformations and Evaluation)

Pierre-Etienne Moreau:

• PC member of TERMGRAPH'2014 (8th International Workshop on Computing with Terms and Graphs)

• PC member of WRLA'2014 (10th International Workshop on Rewriting Logic and its Applications)

Sorin Stratulat:

• PC member of CISIS 2014 (7th International Conference on Computational Intelligence in Security for Information Systems)

• PC member of IAS 2014 (10th International Conference on Information Assurance and Security)

• PC member of SYNASC 2014 (16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing)

Reviewing activities

Horatiu Cirstea:

• Reviewer for ESOP'2014, ICTAC'2014, LOPSTR'2014

Sergueï Lenglet:

• Reviewer for CSL-LICS'2014, RTA-TLCA'2014, FOSSACS'2015

Pierre-Etienne Moreau:

• Reviewer for TERMGRAPH'2014, WASDETT'2014

Journal

Editorial board membership

Pierre-Etienne Moreau:

• Advisory Board of Science of Computer Programming, software track

Reviewing activities

Horatiu Cirstea:

• Reviewer for Journal of Symbolic Computation

Sergueï Lenglet:

• Reviewer for Fundamenta Informaticae and HOSC (Higher-Order and Symbolic Computation)

Pierre-Etienne Moreau:

• Reviewer for Electronic Proceedings in Theoretical Computer Science (EPTCS)

Sorin Stratulat:

• Reviewer for Journal of Symbolic Computation